Closed-loop incremental stability for efficient symbolic control of non-linear systems

نویسندگان

چکیده

In this paper, we introduce a hybridization-based feedback control synthesis method for potentially unstable nonlinear continuous-time systems. We construct discretization and that ensures dissipation form of incremental input-to-state stability property number abstraction-based methods rely on or benefit from. This enables the use these also case systems, to achieve reachability temporal logic specification. furthermore show algorithm can improve do not assumptions by reducing constructed abstract states non-deterministic transitions. illustrate benefits our approach in simulations featuring cart-pendulum.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Open-loop and Closed-loop Optimization of Linear Control Systems

A canonical optimal control problem for linear systems with timevarying coefficients is considered in the class of discrete controls. On the basis of linear programming methods, two primal and two dual methods of constructing optimal open-loop controls are proposed. A method of synthesis of optimal feedback control is described. Results are illustrated by a fourth-order problem; estimates of ef...

متن کامل

Delay - Dependent Closed - Loop Stability of Linear Systems

This paper focuses on the problem of computing a control law which maximizes (in a sub-optimal sense) the delay of the closed-loop system for a class of linear systems with delayed input. The delay is assumed to be a continuous bounded time-varying function. The analysis is given using two diierent approaches: a Razumikhin based method and a frequency-ltering based method.

متن کامل

Closed-loop iterative learning control for non-linear systems with initial shifts

This paper is concerned with the problem of the iterative learning control with current cycle feedback for a class of non-linear systems with well-defined relative degree. The tracking error caused by a non-zero initial shift is detected as extended D-type learning algorithm is applied. The defect is overcome by adding terms including the output error, its derivatives as well as integrals. Asym...

متن کامل

Closed-loop Transient Stability Emergency Control

The question of transient stability control is revisited, various types of controls are identified, and a general approach to closed-loop emergency control is proposed. The focus is on feasibility aspects, general salient features and illustration of stabilization capabilities of an emergency control scheme relying on generation shedding.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IFAC-PapersOnLine

سال: 2021

ISSN: ['2405-8963', '2405-8971']

DOI: https://doi.org/10.1016/j.ifacol.2021.08.485